Kuusisto, Antti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Double Team Semantics for Generalized Quantifiers

Kuusisto, Antti

Journal:

Journal of Logic, Language and Information

Year:

2015

Language:

english

File:

PDF, 684 KB

english, 2015

2

Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Journal:

Distributed Computing

Year:

2015

Language:

english

File:

PDF, 765 KB

english, 2015

3

The Effect of Sodium Fluoride on the Metamorphosis of Tadpoles

Kuusisto, A. N., Telkkä, Antti

Journal:

Acta Odontologica Scandinavica

Year:

1961

Language:

english

File:

PDF, 375 KB

english, 1961

4

Bulbourethral gland adenocarcinoma in a 25-year-old man without comorbidities: Radical resection of proximal urethrae with Mitrofanoff-type appendicovesicostomy

Syvänen, Kari T., Taimen, Pekka, Salminen, Antti, Kuusisto, Kimmo, Boström, Peter J.

Journal:

Scandinavian Journal of Urology

Year:

2014

Language:

english

File:

PDF, 520 KB

english, 2014

5

Characterization of the binding properties of SIRT2 inhibitors with a N-(3-phenylpropenoyl)-glycine tryptamide backbone

Päivi H. Kiviranta, Heikki S. Salo, Jukka Leppänen, Valtteri M. Rinne, Sergiy Kyrylenko, Erkki Kuusisto, Tiina Suuronen, Antero Salminen, Antti Poso, Maija Lahtela-Kakkonen, Erik A.A. Wallén

Journal:

Bioorganic & Medicinal Chemistry

Year:

2008

Language:

english

File:

PDF, 478 KB

english, 2008

6

N-(3-(4-Hydroxyphenyl)-propenoyl)-amino acid tryptamides as SIRT2 inhibitors

Päivi H. Kiviranta, Jukka Leppänen, Valtteri M. Rinne, Tiina Suuronen, Olga Kyrylenko, Sergiy Kyrylenko, Erkki Kuusisto, Anu J. Tervo, Tomi Järvinen, Antero Salminen, Antti Poso, Erik A.A. Wallén

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2007

Language:

english

File:

PDF, 144 KB

english, 2007

7

Monadic and Modal Logic with Quantified Binary Relations

Lauri Hella, Antti Kuusisto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

8

Effect of N1-Sulphanilyl-N2-n-Butylurea on the Rat Thyroid

KUUSISTO, A. N., ANTILA, VILJO, TELKKÄ, ANTTI

Journal:

Year:

1957

File:

PDF, 309 KB

1957

9

A Histochemical Study on the Effect of Some Anticholinergic Agents on the Rat Stomach

Mikko Niemi, A. N. Kuusisto, Antti Telkkä

Journal:

Journal of Internal Medicine

Year:

1961

Language:

english

File:

PDF, 613 KB

english, 1961

10

The Mast Cell Count Of The Rat Liver In Experimental Obstructive Jaundice

Antti Telkkä, A. N. Kuusisto

Journal:

Year:

1957

Language:

english

File:

PDF, 801 KB

english, 1957

11

Pituitary function after pituitary apoplexy

Risto Pelkonen, Arto Kuusisto, Jorma Salmi, Pentti Eistola, Christina Raitta, Sirkka-Liisa Karonen, Antti Aro

Journal:

The American Journal of Medicine

Year:

1978

Language:

english

File:

PDF, 684 KB

english, 1978

12

Expressivity of Imperfect Information Logics without Identity

Journal:

Year:

2013

Language:

english

File:

PDF, 355 KB

english, 2013

13

Discovering Inhibitors of Human Sirtuin Type 2: Novel Structural Scaffolds

Tervo, Anu J., Suuronen, Tiina, Kyrylenko, Sergiy, Kuusisto, Erkki, Kiviranta, Päivi H., Salminen, Antero, Leppänen, Jukka, Poso, Antti

Journal:

Journal of Medicinal Chemistry

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006

14

Second-order propositional modal logic and monadic alternation hierarchies

Kuusisto, Antti

Journal:

Annals of Pure and Applied Logic

Year:

2015

Language:

english

File:

PDF, 528 KB

english, 2015

15

Complexity of two-variable dependence logic and IF-logic

Kontinen, Juha, Kuusisto, Antti, Lohmann, Peter, Virtema, Jonni

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 487 KB

english, 2014

16

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Complexity of Two-Variable Dependence Logic and IF-Logic

Kontinen, Juha, Kuusisto, Antti, Lohmann, Peter, Virtema, Jonni

Year:

2011

Language:

english

File:

PDF, 509 KB

english, 2011

17

Associations of multiple lipoprotein and apolipoprotein measures with worsening of glycemia and incident type 2 diabetes in 6607 non-diabetic Finnish men

Fizelova, Maria, Miilunpohja, Manna, Kangas, Antti J., Soininen, Pasi, Kuusisto, Johanna, Ala-Korpela, Mika, Laakso, Markku, Stančáková, Alena

Journal:

Atherosclerosis

Year:

2015

Language:

english

File:

PDF, 420 KB

english, 2015

18

[ACM Press the 2012 ACM symposium - Madeira, Portugal (2012.07.16-2012.07.18)] Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12 - Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Year:

2012

Language:

english

File:

PDF, 766 KB

english, 2012

19

Existential second-order logic and modal logic with quantified accessibility relations

Hella, Lauri, Kuusisto, Antti

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 501 KB

english, 2016

20

Enzyme replacement therapy carries for 4-7years in Fabry disease thereafter quality of life decreases

Kantola, I. Ilkka, Annala, Antti-Pekka, Helio, Tiina, Hietaharju, Aki, Kananen, Kristiina, Kantola, Taru, Karhu, Anne, Kuusisto, Johanna, Rainto, Miia, Saarinen, Jukka T., Sandini, Lorenzo, Savolainen

Journal:

Molecular Genetics and Metabolism

Year:

2016

Language:

english

File:

PDF, 50 KB

english, 2016

21

PQ-interval and QRS duration increased in Fabry patients treated by enzyme replacement therapy for 12 years

Kantola, Ilkka, Annala, Antti-Pekka, Helio, Tiina, Hietaharju, Aki, Kantola, Taru, Kananen, Kristiina, Karhu, Anne, Kokkonen, Jorma, Kuusisto, Johanna, Pietila-Effati, Paivi, Rainto, Miia, Saarinen, J

Journal:

Molecular Genetics and Metabolism

Year:

2017

Language:

english

File:

PDF, 60 KB

english, 2017

22

Relationships between gut microbiota, plasma metabolites, and metabolic syndrome traits in the METSIM cohort

Org, Elin, Blum, Yuna, Kasela, Silva, Mehrabian, Margarete, Kuusisto, Johanna, Kangas, Antti J., Soininen, Pasi, Wang, Zeneng, Ala-Korpela, Mika, Hazen, Stanley L., Laakso, Markku, Lusis, Aldons J.

Journal:

Year:

2017

Language:

english

File:

PDF, 2.40 MB

english, 2017

23

Differential associations of inflammatory markers with insulin sensitivity and secretion: the prospective METSIM study

Fizelova, Maria, Jauhiainen, Raimo, Kangas, Antti J., Soininen, Pasi, Ala-Korpela, Mika, Kuusisto, Johanna, Laakso, Markku, Stančáková, Alena

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2017

Language:

english

File:

PDF, 336 KB

english, 2017

24

Trans-ancestry Fine Mapping and Molecular Assays Identify Regulatory Variants at the ANGPTL8 HDL-C GWAS Locus

Cannon, Maren E., Duan, Qing, Wu, Ying, Zeynalzadeh, Monica, Xu, Zheng, Kangas, Antti J., Soininen, Pasi, Ala-Korpela, Mika, Civelek, Mete, Lusis, Aldons J., Kuusisto, Johanna, Collins, Francis S., Bo

Journal:

G3 Genes|Genome|Genetics

Year:

2017

Language:

english

File:

PDF, 9.57 MB

english, 2017

25

LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE

GORANKO, VALENTIN, KUUSISTO, ANTTI

Journal:

The Review of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 340 KB

english, 2018

26

Increased Visceral Adipose Tissue as a Potential Risk Factor in Patients with Embolic Stroke of Undetermined Source (ESUS)

Muuronen, Antti T., Taina, Mikko, Hedman, Marja, Marttila, Jarkko, Kuusisto, Johanna, Onatsu, Juha, Vanninen, Ritva, Jäkälä, Pekka, Sipola, Petri, Mustonen, Pirjo, Kiechl, Stefan

Journal:

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

27

Intensity of artefacts in cone beam CT examinations caused by titanium and glass fiber-reinforced composite implants

Kuusisto, Niina, Huumonen, Sisko, Kotiaho, Antti, Haapea, Marianne, Rekola, Jami, Vallittu, Pekka

Journal:

Dentomaxillofacial Radiology

Year:

2018

Language:

english

File:

PDF, 2.42 MB

english, 2018

28

Direct Estimation of HDL-Mediated Cholesterol Efflux Capacity From Serum

Kuusisto, Sanna, Holmes, Michael V., Ohukainen, Pauli, Kangas, Antti J., Karsikas, Mari, Tiainen, Mika, Perola, Markus, Salomaa, Veikko, Kettunen, Johannes, Ala-Korpela, Mika

Journal:

Clinical Chemistry

Year:

2019

Language:

english

File:

PDF, 1.14 MB

english, 2019

29

Enzyme replacement therapy together with renin-angiotensin system inhibition seems to prevent kidney function decrease in most Finnish Fabry patients treated either for 5 or 10 years

Kantola, Ilkka, Annala, Antti-Pekka, Ekstrand, Agneta, Heliö, Tiina, Hietaharju, Aki, Kananen, Kristiina, Kantola, Taru, Karhu, Anne, Kokkonen, Jorma, Kuusisto, Johanna, Pietila-Effati, Päivi, Rainto,

Journal:

Molecular Genetics and Metabolism

Year:

2019

Language:

english

File:

PDF, 139 KB

english, 2019

30

Model checking and validity in propositional and modal inclusion logics

Hella, Lauri, Kuusisto, Antti, Meier, Arne, Virtema, Jonni

Journal:

Journal of Logic and Computation

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

31

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Weighted model counting beyond two-variable logic

Kuusisto, Antti, Lutz, Carsten

Year:

2018

Language:

english

File:

PDF, 720 KB

english, 2018

32

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Weighted model counting beyond two-variable logic

Kuusisto, Antti, Lutz, Carsten

Year:

2018

File:

PDF, 720 KB

2018

33

Alternating-time temporal logic ATL with finitely bounded semantics

Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

34

Alternating-time temporal logic ATL with finitely bounded semantics

Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine

Journal:

Theoretical Computer Science

Year:

2019

File:

PDF, 1.49 MB

2019

35

Exopolysaccharide-Producing Bacteria from Sugar Beets

Tallgren, Antti H., Airaksinen, Ulla, von Weissenberg, Robert, Ojamo, Heikki, Kuusisto, Juhani, Leisola, Matti

Journal:

Applied and Environmental Microbiology

Year:

1999

File:

PDF, 60 KB

1999

36

Rational coordination with no communication or conventions

Goranko, Valentin, Kuusisto, Antti, RÃ¶nnholm, Raine

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 1.61 MB

2020

37

Game-theoretic semantics for ATL+ with applications to model checking

Goranko, Valentin, Kuusisto, Antti, RÃ¶nnholm, Raine

Journal:

Information and Computation

Year:

2020

File:

PDF, 1.17 MB

2020

38

PQ interval, QRS duration and QTc interval increased in Fabry disease patients treated by enzyme replacement therapy both for 10 and 15â¯years

Kantola, Ilkka, Annala, Antti-Pekka, Ekstrand, Agneta, Helio, Tiina, Hietaharju, Aki, Kantola, Taru, Kananen, Kristiina, Karhu, Anne, Kokkonen, Jorma, Kuusisto, Johanna, Pietila-Effati, Paivi, Rainto,

Journal:

Molecular Genetics and Metabolism

Year:

2020

File:

PDF, 322 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски